Issue385.agda:12,1-21
Cannot rewrite by equation of type {A : Set _a_7} {x : A} → x ≡ x
when checking that the clause bad rewrite loop = ? has type Set
